#! /bin/bash
# Installe ILP

INFODIR=/Infos/lmd/2012/master/ue/ilp-2012oct
HGURL=${HGURL:-${INFODIR}/Mercurial}
SHAREDSRCDIR=${SHAREDSRCDIR:-${INFODIR}}
TAG=ilp1

cd
mkdir -p workspace
if hg clone $HGURL -r $TAG workspace
then :
else
    # Tant que hg version 2 n'est pas sur les machines du PPTI
    rsync -avu $HGURL/ILP workspace/
fi

# Pour gagner de la place dans les HOME des etudiants, les jars sont partages:
( cd workspace/ILP/Java/jars/ && \
  ln -sf ${SHAREDSRCDIR}/Java/jars/*jar . )

# et les sources du gc de Boehm aussi
( cd workspace/ILP/C/ && \
  ln -sf ${SHAREDSRCDIR}/C/gc*.tgz . )

# On precompile les fichiers C
( cd workspace/ILP/C/ && \
  make )

# end of install.sh
